1

A theory of type polymorphism in programming

Year:
1978
Language:
english
File:
PDF, 1.61 MB
english, 1978
2

Art in Revolution: Soviet Art and Design Since 1917

Year:
1972
Language:
english
File:
PDF, 154 KB
english, 1972
3

Dmitrii Sergeevich Likhachev (1906–1999)

Year:
2000
Language:
english
File:
PDF, 921 KB
english, 2000
4

Elements of interaction: Turing award lecture

Year:
1993
Language:
english
File:
PDF, 1.39 MB
english, 1993
8

Is Computing an Experimental Science?

Year:
1987
Language:
english
File:
PDF, 1.63 MB
english, 1987
10

Nikolai Zabolotskii (1903–1958)

Year:
2003
Language:
english
File:
PDF, 279 KB
english, 2003
14

Modal logics for mobile processes

Year:
1993
Language:
english
File:
PDF, 1.23 MB
english, 1993
23

Axioms for bigraphical structure

Year:
2005
Language:
english
File:
PDF, 422 KB
english, 2005
24

A calculus of mobile processes, I

Year:
1992
Language:
english
File:
PDF, 1.94 MB
english, 1992
27

Pure bigraphs: Structure and dynamics

Year:
2006
Language:
english
File:
PDF, 830 KB
english, 2006
29

Review Article

Year:
2009
Language:
english
File:
PDF, 57 KB
english, 2009
30

The Space and Motion of Communicating Agents || Prologue

Year:
2009
File:
PDF, 350 KB
2009
32

Concurrent Processes and Their Syntax

Year:
1979
Language:
english
File:
PDF, 1.21 MB
english, 1979
34

A complete inference system for a class of regular behaviours

Year:
1984
Language:
english
File:
PDF, 1.38 MB
english, 1984
36

On Residual Plots for Relative Risk Regression

Year:
1991
Language:
english
File:
PDF, 655 KB
english, 1991
38

The Space and Motion of Communicating Agents || Sorting

Year:
2009
File:
PDF, 436 KB
2009
41

On residual plots for relative risk regression

Year:
1991
Language:
english
File:
PDF, 1.63 MB
english, 1991
46

Interpreting one concurrent calculus in another

Year:
1990
Language:
english
File:
PDF, 1.28 MB
english, 1990
47

Bigraphs and Their Algebra

Year:
2008
Language:
english
File:
PDF, 350 KB
english, 2008
48

Shallow Linear Action Graphs and their Embeddings

Year:
2002
Language:
english
File:
PDF, 152 KB
english, 2002
49

Fully abstract models of typed λ-calculi

Year:
1977
Language:
english
File:
PDF, 2.60 MB
english, 1977